Consensus Based on Strong Failure Detectors : Time and Message - Efficient Protocols

The class of strong failure detectors (denoted S) includes all failure detectors that suspect all crashed processes and that do not suspect some (a priori unknown) process that never crashes. So, a failure detector that belongs to S is intrinsically unreliable as it can arbitrarily suspect correct processes. Several S-based consensus protocols have been designed. Some of them systematically require n computation rounds (n being the number of processes), each round involving n 2 or n messages. Others allow early decision (i.e., the number of rounds depends on the maximal number of crashes when there are no erroneous suspicions) but require each round to involve n 2 messages. This paper presents an early deciding S-based consensus protocol each round of which involves 3(n ? 1) messages. So, the proposed protocol is particularly time and message-eecient. Moreover, it can easily be generalized to reduce the number of rounds at the price of an increase in the number of messages per round. R esoudre le consensus a l'aide de d etecteurs de d efaillances forts: Des protocoles eecaces en temps et en nombre de messages R esum e : La classe des d etecteurs de d efaillances forts (d enot ee S) comprend tous les d etecteurs de d efaillances qui ont pour propri et es de suspecter les processus d efaillants mais de ne pas suspecter au moins un des processus non d efaillants (sans que l'identit e de celui-ci soit connu a priori). De fait, un d etecteur de d efaillances appartenant a la classe S est intrins equement non able puisqu'il peut suspecter arbitrairement des processus corrects. Plusieurs protocoles de consensus fond es sur la classe S ont et e conn cus. Certains d'entre eux requi erent syst ematiquement n etapes de calcul (n etant le nombre de processus), chaque etape n ecessitant l' emission de n ou n 2 messages. D'autres protocoles permettent une prise de d ecision au plus t^ ot (dans ce cas, le nombre d' etapes de calcul d epend du nombre maximal de d efaillances lorsqu'il n'y a pas de suspicion erron ee) mais requi erent n 2 messages a chaque etape de calcul. Cet article pr esente un protocole de consensus fond e sur la classe S permettant des d ecisions au plus t^ ot. Chaque etape de calcul n ecessite 3(n ? 1) messages. De fait, le protocole propos e est particuli …